perm filename PNSTT9.360[360,GF] blob sn#873016 filedate 1989-05-03 generic text, type T, neo UTF8
{`dα&Q*Dλ#∪ie ⊂≠nW 8≥.B_N'βH↔εRp_g#⊂_Lπ∀ 0DBa 
αtx¬SATpα↓ Dp↓αE@α⊗E@α∃`U ∧∀A∃α@@DpαAD`αA@DXααDPααTPα↓`TPαA dPλ∩a λα∪ `⊂αQ(F⊂
¬cqxβ↓	p('A)p('A	p '↓)`('↓)`('↓	` ↓↓)Pp&CiP8α↓)P(βA	P ∧A	@(∧A	@(∧A	@(∧A	@ ¬↓	@ ¬↓	@ ∧A)0(∧A	0(∧A	0 ∧A)0 ∧A	0 ∧↓)0(αAI!%βi ⊂αAHT 1D#↓ 
αdx¬SAThβ↓ 4`αB∀`α∩`DXα∩`DPα∩@DPα∩@DPα∩@DPα∩@P@R`P(α∩aT`¬∪@d("→αaX∂Gb⊂(-A0 -A (-↓+  -↓  -↓⊂((A@ ('CI`x&A P0&↓ p(&↓↓(%A!(%A↓⊂ %A↓(%↓!(%↓↓⊂(%↓↓⊂(%↓↓⊂ %↓↓⊂ %↓↓⊂ %↓↓(%Ap(%A @8&βIP@A	p(↓↓λT 2DBa 
↓`tx¬SAThαA D`αA`D`αα 4XαB 4Xαα@4XλRB$Pα∩@DPα∩@DPα∩@DXαα@∀XαA`D`π∪!DxβQ(F0λFCqx¬↓J H(B*((↓	p('A	p '↓)`('↓	0p%CIP(&A)P(&A	P &↓)@(&↓)@(&↓	0(%A)0(%A)0 %A	 (%↓) ("Qq(Gα@@β↓ %πSb∧pαA dhαA`ThααT`αBT`αα T`ααdXαBTXαα TXαα TXαα TXαα TXαα TXααT`α↓`T`αAthπSAλαTPλαU@U0αU U β∀@tXεRAT`∧⊃(F@	Ecqxβ↓	p('A)p('A	p '↓)`('↓)`('↓	` ↓AIP(B)Px&A`@(&A p &A↓ &↓! &↓! &↓! &↓↓⊂ &↓↓⊂_&↓↓ %A! %A! %A! %A! %A↓⊂ %A↓ %↓! %↓! %↓! "Q
⊂`
π#P@↓T UλαT U⊂↓Q`@¬RA4P¬TUα∀Eα∪`TxαS`Txα∪`DpαS@TpαS@Tpα∪@DhαS ThαQ(FP	E$QhλK⊂ ,A⊂ -Hp ∧αj P)αK +A*p(+A*p +A
`(+↓*`(+↓*` +↓
P(*A*P(*A*P *↓*@()A*0()↓*8%Bi X%α(T 5E#↓x∂A@DxαS`TxαS`Dxα∪@TpαS@Tpα∪@Dpα↓`dhαA@ThαAdhα↓Thα`Thα T`¬∪↓$`¬SP⊂α∪@_αS@ α∩`P α∩`P αR`P(α∩`P(αR`@8α∩`@8αR@P8αR@P@αR@P@αQ(F`¬E#qxαi X%αj((↓
 'A)p('A)p('A	p '↓)`('↓)`('↓	P(&A)P(&A)P &A	@(&↓)@(&↓)@ &↓	0(%A)0("Q
QH
¬α@ α@@ αS Pλβ@thε@ thβ``_α∪ P αADhαAP α∪ @(α↓ D`αA @(α∪P αAT`αA@(αSP αAD`α↓ @(α∩`P(α↓ DXαAP αR`P αATXαAP αR`P αADXα↓ @(α∩@P αATPαAP αR@P αAT("≠B18
¬@ ↓AIP(B)Px&A`@(&A p &A↓ &A↓ &↓! &↓! &↓↓⊂ &↓↓⊂_&↓↓ %A! %A! %A! %A! %A↓⊂ %A↓ %↓! %↓! %↓! "Q
q_Eα@@β∪a4pεS P(αSP8α∪@Hα∩`PHα∩`@Pα∩`@Pα∩@PPα∩@@Xα∩@@PαR@@Pα∩@@Pα∩@@HαR@@Hα∩`@8αR`P(αS↓Th¬S`d("≤αQ8∞¬P ↓↓)p B	`x'↓`@('↓ p '↓↓⊂ '↓↓⊂ '↓↓⊂ &A!⊂ &A↓  &A↓  &A↓⊂(&A↓⊂ &A↓⊂ &↓↓⊂(&↓↓⊂ &↓↓(&↓ P0&βi@p%A  0%A)0 %A	0 %A	 (%↓)  "Q∞⊃ Gα@8β↓ $xπSB∧hαA d`αA`T`ααTXαBTXαα TXααdPαBTPαα TPαα TPαα TPαα TPαα DPααTXα↓`TXαAt`πS!λαS`P⊂α∃ U(αU U(αU E αUU αQ(G⊂λEbA α↓⊂@&CIPp&A@@_&A)P(&A	@(&↓)@(&↓)@ %A)0(%A)0(%A	0 %↓) (%↓(T 9Dbq 
α↓∃εSadpαA`$pα∪@Dpα∪@Txβ∀↓¬⊂∧∃ e8αVE@α⊗DXB`TXα↓@dPλ∩At`¬⊃(G λFβ⊃Hβ@I`('↓)` '↓	!λ%∧)P(&A)P(&A	@(&↓)@(&↓)@(&↓	0(%A)0(%A)0(β@)@(α@i@`&BIp0"Q∞Q ¬α@_ααT`αBD`αBD`αBD`αA`T`ααTXαBTXαBDXαBDXαA`TXαA`TXααTPαBDPαBDPαBDPαA`TPαA@dXαAtXπS↓⊂λα∪ `_α⊃(G0	F"A ↓↓0 %↓! _%↓!⊂ %A↓⊂_%A↓ %A↓_%A ` %A `_%A P &↓P_&↓@_&↓ 0_&↓  _&↓  _&A⊂_&B	P8&AiP0'↓)` "Q∞q8
Eα@λ↓D4X↓D4X↓C`4X↓C`4X↓A@@(↓R`0(αA4X↓A P ↓R@@ β@`4Pαa⊂α∩@@_∧@4Pα@@λα@4Pα@0⊂α DPα @_↓@ 4Pα 0 ↓@ 4P∧↓tPβA dPβA dPβ↓@dPαA`TPαA`TX↓B@4("≡αQ8
¬P(βA	p(β↓
(α↓
(αj⊂(↓↓
⊂(A
  @j 8)↓j0()A* 8(B
 A)p ↓↓)p_α↓)` α↓)P β↓)@ βA)0 ∧A	  ¬↓(T <Dc↓`
 PP↓R`PH↓R`PH↓S@@↓S@8α∪P0↓SP(α∪ @(↓S @ α∪ @ ↓S P⊂α∪ P⊂↓S@@λ↓S@@λ↓S@tpβS@dxαS`Dxα∪`4pα∪@4hα∪D`↓R`DX↓R@D("≡BA@
¬Px'Cia,A+0+↓jP8*↓j08)↓j@'Ai`8&Ai@8%Ai 0%↓)!⊂%∧)!λ"Qλ⊃0G#Ppα⊗E8β∃`e0βU@u(↓@ E(↓@ E ↓@@E ↓@@E_↓@`U_↓@`U⊂α`U⊂↓AUλα↓Uλ↓A@Eα↓@E↓A`Dxλ∪b∧pααTpααThαα Thαα@D`αα`D`αα`D`↓CTXαβTX↓C TPαβ T("⊂B18∞G P`'C)pp'AP('↓ ` '↓ ` '↓ ` '↓ ` '↓p_'↓` &A `_&A P_&BiPh&CI@(αAI@(β↓)@(βA)@(βA)@ ∧↓)@ ∧↓)0(∧↓)0(βAI0(βA)0 ∧↓)0 βA)0 β↓I!%βi h"Qλ1(
π#PXβ∀a%λπ∀`(α∪`P@↓S@PPS@@XS Thα∪T`αSDXαR`TXαR`DPαR@TPαR@TPαR@TPαR@TXαB@∀XαB 4Xβ↓@D`π∪!4xβQ(D ε#QhαC)px'D	p βA)`(∧↓)`(∧↓)`(∧A	` ¬↓	` ¬↓	` ¬↓	P(¬↓	P(¬↓	P(¬↓	P ¬A	P ¬↓	@(¬↓	@(¬↓	@(¬↓	@ ¬A	@ ¬↓	@ ¬↓	0(¬↓	0(∧A	0(∧A	0 ∧A	0 ∧↓)0 β↓I!%βi `"QλQ(G#P(λ∪b∧xλ∪`DpαS@TpαS@Tpα∪@DhαS Thπ∪!dhπ∪T`αST`αSD`α∩`TXαR`TXα∩`DXα∩B$PλRB∀("⊃BaP∞G Qλ'D)qλ'A	`('↓)` '↓	` '↓	P(&A	P &A	Pp&βi@x&↓)@ &↓	@ %A)0(%A)0 %A	0 %↓) (%↓(T #E#!h∞B`e_¬∀!eβ↓TxαA`4pαB $pαα@∀hαS D`αST`α∩`TXαR`TXα∩@TPαB@DPαB TPαB TPαB TPαB DPαB DPαB DXαA`TXαA`TXβ↓@D`π∪!4xβQ(D@εCQhαA! 'A p('A p('A↓('↓! '↓! '↓! '↓ p('↓ p('↓↓(&A! &A! &D)Qλ&D)P ∧↓)@(∧↓	@(∧↓	@(∧↓	@ ∧↓)@ ∧↓)0(∧↓)0(∧↓	0(∧↓	0(∧↓	0 ∧A	0 ∧↓) (∧↓) (∧↓	 (∧↓λT $Dc↓h∞AATxπ∪ae α∀`U_αT`U_αT`U_α∀@U⊂αT@U⊂αT@E⊂α∀ UλαT UλαT EαTUαTUαTDPπ∩AdPπ⊃(DP	Ed⊃h∧BJ0P)BK(,↓+ ,↓ +A*p(+A
p +A
`(+↓*`(+↓
` +↓
P(*A*P(*A
P *↓*@(*↓*0()A* 0%@ P0%β	 X%BλT %Ec!h∞A PHα∪`P@α∪`P8α∪`P0α∪@P8↓S@P0↓S@P(↓S@P ↓S@P_↓S@P⊂α∪ P⊂α∪ P⊂↓S Pλα∪!4h¬S `λα∪`⊂αSP α∪P α∪@(αS@0α∩`P0α∩`P0αR`P8α∩`P8α∩`@@αR`@Hα∩@PHα∩@PHαR@PPα⊃(D`	¬cQhαA)p('A)p '↓)`('↓)`('↓	` &A)P(&A)P(&A	P &↓)@(&↓)@ &↓	0(%A)0(%A	0 %A	!⊂%∧)!λ"Q	QX∞π#P(αβ@4xαCTxαCTxαB`dpβα`Tpβα@dpβα tpβBtpβAa∧p↓@ 08↓@ Dh↓@@00α 4h↓@@00↓@@4h↓@@@ α@4h↓@@@ ↓@`4h↓@@@_α@Dh↓@`0_↓@`D`↓A0⊂α`4`↓A↓ ↓S0 ∧↓4`↓Ap(↓S0 β↓ DX↓A@P(α∩`00α↓@4X↓D4X↓D4X↓D4X↓C`DP↓DDP↓D4P↓D4("∪BaP∞G P ¬ip(∧@ip(∧@ip(∧@I`0∧i`8β@i`8β@i`8β@i`@βi`@α@iP_A P_&@`  α@iP_↓↓ @_&@` (αiP_↓A@⊂&@@@ ↓@i@_α↓  _&`@(↓i@_αA _&`P(@i@_αB	0_βα	0_βAi0_βAi0_βAi0_∧↓I0⊂∧A) _∧A) _∧A) _¬↓λT 'E#⊃h∞B!¬εSatpαA@TpααThαα Thαα T`αB T`αα@T`αα@T`αα@TXαB@TXαα@dXαα@TXαα@TXαα@TXαα@TPαB@TPαα@dPαα@TPαα@TPαα@TPαα dPαα TPαα TPααTXα↓@dXπS↓Tp∧⊃(E
F#QhαC	pp'Cip αAI`(β↓I`(βA)`(βA)` ∧↓)` ∧↓)` ∧↓)P(∧↓	P(βA)P(βA	P βA)P β↓)@x&β)@(&↓	@ &↓	0(%A)0(%A)0 %A	 (%↓) ("Q
⊃(H#PH∧∀↓TxπS@P0αS@@@αS @HαS @HαSPHαS@PαS@PαS@PαR`PPαR`@Pβ∩`@PαR`@PαR`@PαR`@PαR@PPαR@@Pβ∩@@PαR@@PαR@@PαR@@Hβ∩@@HαR@@HαR@@@αR`@0β∩at`εS!∀X↓AP_R`⊂8βUU(↓Q(E⊂
F#QhαC	pp'Cip αAI`(β↓I`(βA)`(βA)` ∧↓)` ∧↓)` ∧↓	P(βA)P(βA	P(β↓)P β↓)Pp&βI@(α↓	@(α↓	@ αA	@ αA	@ αA)0(β↓	0(β↓	0(β↓	0(β↓	0 βA	0 βA	 (βA) (∧↓	 (∧↓λT )E#⊃h∞B@u⊂ε∀!eαA@5αα$xα∪`Dxα∪`DxαS`UαTeλβ∀@e_β∃ U0αU`E8αVE@α⊗E@α∩` X↓R`0Hα∩`P(αRAtXεSA∧("∃α⊃P∞G ↓λ%∧)!λ(↓
 (↓	p('A)p 'A	p '↓)`('↓)` '↓	` &A)P(&A	P &A	@(&↓)@(&↓	@ %A)0(%A(T *Eβ!h∞@`PH↓S PH↓S PH↓S @P↓∪ @H↓SPH↓SPH↓SPH↓S@P↓S@H↓S@H↓R`PH↓R`PH↓R`@P↓R`@Hα∩`@H↓R`@H↓R@PH↓R@@P↓R@@P↓R@@H↓R@@H↓R@@H↓R@@@α∩@@@↓R@@8α∩`@(α∩aD`¬∪@d("∃Ba`∞G (πi (ε@i (ε@i (εi0 εi0 ¬A	0(¬i0(∧A	0(∧@i0(∧↓	0(∧i0(βA	@ β@i@(βi@(α@i@(α@i@(αi@(αi@(↓@i@(↓@iP ↓iP ↓iP ↓IP @iP8&AiP0&AI` '↓λT +FβAh∞@@@x↓S@x↓S@x↓∪@p↓S@p↓S@p↓S0p↓S00α@`4`↓A@P_↓S00α@`4Xα↓ `⊂↓R`@(β@4Xα↓p⊂↓R`@ ↓ @⊂↓R`@_↓@ @λ↓R`@_↓@ @λ↓R`@⊂↓@@@λ↓R`0_↓@@tX↓@@0_βR`0⊂↓@`tX↓@ 0 ↓@ 4X↓@ 0 β∩`0λ↓AdPβA dPβA dPβ↓@TPβ↓@TPαA`TPαA`TX↓BD("⊗β!X∞G `(¬A
0¬j⊂(∧@j⊂(∧↓
 (β↓
 (βj0(αj0(↓A
0(↓↓
@ ↓j@@*α
P0*A*` *AJ@8)B*0_A*  A*⊂ ↓A* α↓*_β↓	p β↓)` βA)`_∧A	P_¬↓)@ ¬↓)0 ε↓)  εA(T ,EcQh∞@Ppα∩@Pp↓R`P`↓R`PXα∩`PPα∪PH↓SP@↓S P0α∪ P(α∪ P α∪@P_↓S@P⊂α∪@Pλα∪a∧x∧∀eαTUαTTxαS`TxαS`TxαS`Dxα∪@TpαS@T("⊗BaP∞G a(∧
↓-A+ 0,AK0+AJp0+↓JP0*A*@()AJ 0)↓*⊂((↓Ip0'A)`(&AIP(&↓)0(%↓)  %∧I!λ%∧(T _∧c↓h∞B@U⊂∧∀!%↓ADx↓A@Dp↓B4p↓BDhααDh↓B D`αα D`αα DXαB DXαα@DXαα TXαα TPαB DPαB DPαα@DPαα TPαα DPαα DPαα 4PααDPαα4X↓B4Xα↓@4`α↓4`¬∪!∧pαQ(CλεEβapε*0 (↓i`@%Bi (↓↓)0λαA*⊂((A*((↓*((↓*((↓)p('A)p('A)p('A	`('↓)`('↓)`('↓	` &A)P(&A(T →¬#⊃h∞B`e_¬∀!Uα↓e↓↓`eB UPαV@UPαV@UPα⊗ UHα⊗U8αU`U0αU U αT`U⊂αT DxαS@Thα∩`DPλRB∀Pλ∩B∧("bA@∞G!⊂8(β
h(@`0,A+  -↓  -k⊂ ,@k_)↓j H)αJp(,↓+(,↓+(,↓+(+A*p(+↓*P0%@@`8%βi0`&BλT ~¬#⊃h∞C%0↓U E α∃5_α∀`5⊂α∀ @(↓T 0 αT@ αT0(αS`@(α∪@@0α∪@@0α∪ @0αS 08αS@8α∪0@α∩`@@α∩`0Hα∩BTP
RBE0α∃@E0α∃ U(αU D("
"QH∞G `x(βjx(βIp 'A	p 'A	p_'@i` 'αi`h+↓Jp(,↓+(,↓+(,↓+(+AJp(+A*`(*AI0⊂β↓i x%C	P@"Qεa⊂G#PPβT!5¬S`dpαS@DhαS D`αS@_β∪@λ∧R`p(α∩``8↓R`P@α∩`P@α∩@PHα∩@PHα∩@PHα∩@@Pα∩@@HαR@@Hα∩@@Hα∩@@Hα∩@@@αR`0@α∩`08αR`@(αS↓Dh¬∪`d("
bQX∞G Aλ'∧)aλ'∧0_-k⊂ ,↓_+@j` +jP_*j0 )@j _(A
⊂_(↓	p 'A	` '↓	P &↓)@ %A)0 %↓(T ≤¬#↓h∞B@uλε∀↓dxβ↓@DxαB4pαB 4pαB 4pαB 4pαB $pαB4xαA@4xβ`E¬T!∧pεS `⊂βS@8β∩`@HαR`0XαR`0XαR@0`αR@0`αR@0`αR@0XαR@0XαR`0Hβ∩`@0βS↓thεSa∧("∞"!@∞G!('BI``&A@@ &↓@`_&↓ p_%A@p %A! %A! %↓A %↓A %↓!(%↓!(%↓!(%↓!(%↓ p(%↓ p(%↓ `0%A @8%B@⊂ &↓`0 *A*P *↓*@ )A*⊂0%Bi X%AhT ¬C1h∞A"∀xλSb∀xα∪@TpαS@Tpα∪@Dpα∪ ThαS Thα∪ D`αST`αST`α∪DXαR`TXαR`TXα∩`DPαR@TPαQ(@λFβQhπ↓+(+AJp8+α
`⊂A*P_A*P_A*@_↓A
@_↓A*0_α↓*0_α↓* _αA*⊂ αA*⊂_β↓* β↓*_∧↓)p ∧↓)p_∧A)` ∧A)`_¬↓)P ¬↓)P_ε↓)@_εA)@_εA)0_π↓)0⊂λ↓	!8%¬i!0"Q! π#PPαT!%ε∪`P αS@P0α∪@@@↓S P@α∪ @Hα∪PHα∪@Pα∪@Pα∩`PPα∩`Pλβ@ TXα@pλαR`@⊂β@ TPαB@DPαB@DPαB TPαα@TPαα@DPαα@DPαα TPαα DPααTX↓BDXα↓@TXαAT`ε∪!$xαQ(@_¬cQhπ↓ +AJp0+↓j`8*@`⊂ *@`⊂ *`  *`  )A ()@`0()↓0()`@((A@((@`` (↓` (`p 'Ap('@a('↓↓('a⊂(&A↓⊂(&A↓  &↓↓0 &↓↓0 &a@(%A↓@(%@aP(%↓↓P("QA@∞π#P0	∪b4x	SBD8∧↓AUεT↓UεQa 
∩BDP	RB4("↓"aP∞G Qλ'D)p ∧↓)p ∧↓)`(∧↓	`(∧↓	`(βA)` ∧↓)` ∧↓)` ∧↓)P(∧↓	P(∧↓	P(∧↓	P ∧↓)P ∧↓)@(∧↓)@(∧↓	@(∧↓	@(∧↓	@ ∧↓)@ ∧↓)0(∧↓)0(∧↓	0(∧↓	0(∧↓	0 ∧A	0 ∧↓) (∧↓) (∧↓	 (∧↓λT β¬#⊃h∞A"∧xλ∪b∧xα∪`UαTUλαT U⊂αT`U_αUU(αU U(α∃E_αT@UλαTTxαS@ThαSTXαR`DP	∩B∀PλQ(@8GβQh↓A!⊂ &↓``8%B @H%@@@_↓@`P⊂% p_↓@pλ% p_@J0⊂@J0⊂@*0 )A
0 )A
  )↓
  )↓
  (A*⊂((A
⊂ (A
((↓*((↓
 'A)p('A(T ∧¬cQh∞CE0α∃@E0↓U E⊂¬∪atpα@@@⊂α∪ P_α`D`αA0 α∪P_α↓TXαA@ αR`P α↓TXαA@ αR@` α↓TPαA 0 β∩@P α↓TPαA@ αR@P α↓TPαA@_αR`@ ↓ATXα`@_αS@⊂α@ThπSa%⊂α∀@5λα∀ Eλα⊃(@HGβQh¬↓
@ *↓
@_%A@ β↓	0 α↓P(%A@ αA	 (α↓P %↓ @ αA	  α@`P(%↓@ αA	  α↓P %↓@ α↓)  α↓@ %↓@ α↓	  ↓AP %↓0 α↓	0_↓A@ %A  ↓A	@_↓↓ (&↓⊂_AIPh'αj0(↓
 (ip 'A	p "Q↓!0π#P`β∃↓∃_¬T@0(αT 08α∀0H↓T0Hα∪`@Hα∪`0Pα∪@@Pα∪@@Pα∪@@Pα∪ @Xα∪ @PαS @Pα∪ @Pα∪ @HαS @Hα∪@0H↓S@0@α∪@0@↓S` 8↓S`00↓∀ (↓∀ (↓∀ ⊂ ↓∩A ∧∩A_∧RA_∧∩@p ∧⊃(A¬EαA αi X%αj((↓
 (↓	p('A)p('A	p '↓)`('↓)`('↓	` &A)P(&A(T λDbQ`
α↓5⊂¬∀A%@α∃`U8αU`U8α∃`E0αU@U0αU@U0α∃@E(αU U(αU U(α∃U αT`U_αT@UβRa4P¬RA∀("∧BaPαπ@`0)AJP0+AK ("Qα18
Aβ`xβU@u β∀@dxβ⊃(A ε@Qhα@AP⊂'A↓((↓ @()αj@8*AλT 
Ec08⊂¬ %↓β5↓B`%λ↓α@5λ↓B5⊂↓A E_¬∃ T("¬BaP↓π Qλ'D)qλ"Qαqλ
ACp`α∃ ⊂_↓∃⊂(U⊂(U⊂(U _U D(!@?␈␈x␈@α
␈␈␈x⎇␈␈␈x␈B5⊂∧⊗4x¬Sa∧("ε"Q@∂Ga 8)αj⊂h(↓ @0'A `('Ap('Ap('↓ p('↓↓ '↓p('↓`(&A ` &A P(&A @(&AP(&AP(&AP(&↓ ` &↓ `(&↓ p &↓↓(&↓↓⊂ &↓↓  %A!  %A!  %A!  %A↓ (%A↓  %A↓⊂(%↓ @P%↓ @H%↓ @@"Qβ!@
¬α@8β@@dh
∪αd`α↓ P α∪ @↓A E0↓A E0↓↓@E(↓A@E_π∀"¬↓@ 4p↓@@Dh↓@`D`↓ADX↓A DPα↓ DPα↓ @8R@P_β↓4P
∩a⊂∧∪P(β⊃(AXεBA βA@@0'B ⊂H'¬	P(↓↓`0 &A@(α↓	@(α↓ @ &↓ @ αA	0(αAP %A P`%A P`%↓@@(%↓ P %↓ P %↓ P %↓ @(%↓ @(%↓ @(β) 0↓↓`@⊂%Di0HB	@0α↓HT ∞¬#↓@∧`%h↓∀``_↓∀↓TxεS@P(αS P0αS @0βSP0↓ D`α↓@ ⊂α∪@(↓`DXαA  α∩`@ ↓↓ DXα`0 αR`@_↓↓ DXα@ 0α∩`@λ↓↓@TXβ↓`D`α↓`T`αA ThεS↓TX↓`dP↓∩@∀("π#1`∞G!Pp+βjQ*B
@H*↓⊂ )A ⊂ )A ⊂ )↓  _)↓ ⊂ (A   (A   (A0P(↓ 0P(↓@P(↓0 'A@ 'A@ 'A@ 'β	``'`P &AP &@`` &↓`_&`p_%A` %@`p`%@`pX%aX"QβaP∞π#P@	∀αDx
S@`⊂αS@P α∪ ` α∪ P(α∪ P(α∪ P(α∪P(αSP(α∪P(α∪P(¬SP(¬R`P0¬R`P(αR`P(αR`P(αR`P(αR@`(α∩@P(αR@P(αR@P(αR@P(αR@P αR@P αR@`⊂β∩BdX
∪α4("πc↓P⊃Hα`λ0+p⊂*B⊂⊂)βJ⊂x(↓ `((↓↓('A↓0'A↓0'↓ p8'↓p⊂A)` β@@⊂('↓`⊂↓↓)P(α@@0(&A`⊂↓↓IP α@@0(&A@⊂α↓)P α@@(&A0⊂αA)@(↓@@P(&↓0⊂αAI@ ↓@`(&↓ ⊂β↓)@ @@p(&↓@p0&↓@p(&↓!(&↓ p(&A`0&CiPp&@ @%@I0⊂%@(T /¬C  ∞α`E_∧Tpλβ∪@`8αS@0h↓⊃(Gpε@Ahβ↓!⊂⊂'Bp⊂'@@@ αI`⊂βB	`⊂∧A(T ?EC  ∞↓@ P↓S`@@αS`@@αS`@@αT P↓Q(Bλ∧DcQhα@ip 'A	` '↓	` '↓	` 'i`_&A	P &A	P_&@iP_&@i@_&i@_&hp @I  %↓	  %@HT ⊃E#∩(∂α`0 ↓U  (↓∃  (↓∃  (↓∃0 ↓U (↓∃ (↓∀`0 ↓T` (↓∀` (↓∀@0 ↓SatxπSauλ↓↓ %λ↓↓ %λ↓↓ %↓A5↓↓ %↓↓ $x↓A4x↓↓ $x↓↓ $p↓A4XπRatXπS  (↓∪  (↓∪  (↓∪0 ↓S (↓∪ (↓∩`0 ↓R` (↓∩` (↓∩@0 ↓R@ (↓⊃(B 	FβqxεJP_*@j 8(αip ↓↓i`_α@  '@@_↓@iP_α`@λ&@`@⊂&@`@⊂&A0⊂&B)`@'BJP)B
0⊂A* _↓↓* _↓A
 ⊂α↓
 ⊂α↓
 ⊂α↓	0λα@`@_%`@_↓A	 (↓@ (%CI`@(@J_(j⊂"Q∧QH
GcpHαα %λβB5↓@@P α∪`0 ¬S`0 ↓A4x↓↓ 0 ↓S@0(↓@`4p↓A  _↓S@0 ↓@@4p↓A0⊂↓S@@⊂↓@@4xβ@@5α↓%8↓U@5(↓U % ↓T`5⊂↓@`U⊂↓`uλ↓@@0_↓T0_↓↓ $x↓A (↓∪`  ↓↓@$p↓A 0↓∪ 0(↓↓@$`↓A@ (↓∪ 8↓↓ $X↓A`0_↓R@0HβR`⊂XαQ(B0
FβQh¬A*@8)B*0 ↓@J (↓@J  αJ  αJ  αJ  ↓@J  ↓j  @j00)A*8'α@@_&A@⊂ αi@0↓↓@⊂%A@@ ↓@I0(αA _%A P ↓I (βA⊂⊂%↓ p8%↓ p0%↓ p0%↓! %↓@p %A@P(%D)@PA)`0α↓λT ∪B"0X
A 4pαS@TpαS`4p↓S@4h↓S4X↓R`$("
αQX∃λ↓p0+B
P@)Aj ((A
 'A	p_'iP &@i@ &i0 %@i0_%@i _%i _%i _%i _%i _%i0⊂%@i0_&I@_&@IP_'I`_'@j_(A
 (*↓
`⊂"Q¬⊃(
D8↓∀ E⊂αUE0↓U`5@↓V %H↓V@%P↓V`%X↓V`5`↓↔5`↓W5`↓W5`↓W5`↓W5`↓V`5X↓V`5Pα⊗@5Hα⊗ 5@α⊗58↓U@E(α∃E⊂αS`t`∧∩A∧Pβ⊃(BP	Eb⊃ ¬j0 &@@@ &↓0_&↓  _&A ⊂α@Ip_@@0((@` 8)AiP@%↓` λ@) (α ⊂_%@@P⊂↓↓
 ⊂↓↓*⊂_↓A
⊂_αJ⊂_(@hT ∃DC↓λ
α%⊂↓∀@%⊂↓∀@%⊂↓∀@%⊂↓∩B$P	∀@%⊂↓∀@%⊂↓∀@%⊂↓∀@%⊂↓⊃(B`∧βa  αiP(&A)P(&A	P_&i0_%i ⊂"Q¬`0πA@λα∩@dPβ∩@dXα⊃(BxFe"@,_/@kp_/k`⊂.@kP⊂.k@⊂-@k0⊂-k ⊂,@k_,jp_+@J`_+JP_*@J@_*J0_)@J _(@j⊂_(j⊂'@ip⊂'i`⊂&@iP⊂&i@⊂%@i _%@(T ≥α"! 
↓ 4pαS@TpαS`48¬@ DPβ∩@dPβ∩`D("∞aA_
¬↓_(A*⊂((A* _#B`@_&A)P(&A)P &@i@_%@i _%HT ≡Dch	B∀`λQa λRB∀("∂b⊃H∞G `8&C	@p%AP0%@A0%@! (+↓*`(+↓*P(*A*@()A*⊂((↓	`(&A	P_&i@_&hp @I  %↓	  %@HT  ¬c1`B`e_¬∀ @0↓T0P↓∪` h↓∪@ p↓∪  H∧S  8¬S 8↓AT`↓↓@00α∩` 8↓↓`DX↓↓@08α∩` 0↓↓`DP↓↓@08α∩@ 0↓A`DP↓↓@08α∩@ 0↓A`DP↓↓@00α∩@ 0↓A@DP↓↓`0 αR@ 8ε∩@ @¬R` @αR`$X↓∪$h↓BTpπ∀↓∧("⊗bQ@∃λ↓h)β*⊂_(@j⊂_(@J⊂⊂(j_(j_(Ip_'@ip_'@ip⊂'@I`_'i`_'I`⊂&@iP_&@iP_&@IP⊂&i@_&i@⊂&I0_%@i0_%@i0⊂%i _%β) h"QQ(
D@εTAU`↓W%`↓⊗`5X↓V`5X↓V`%X↓⊗@5P↓V@5P↓⊗@%H↓V 5H↓V 5H↓⊗5@↓V5@↓V%@↓∃`58↓U`58↓∃`%0↓U@50↓U@50↓∃@%(↓U 5(↓RATPεQ(F∧E!!8βIp_'iP_&↓	@_%A	 (%↓) (%@hT πα!ahA@$xα∪`Dxα∀$8α↓4p↓S@4p↓S 4h↓S 4h↓SD`α∪D`↓S4Xα∩`DXα∩`DXα∩@DPα∩`4("βb⊃λ∞F!`⊂+A
p +A⊂#A↓@_+j`_*@j@ )↓*⊂ 'A)P(&↓)0(%A) (%↓) (%↓! λ%↓A⊂%A@P %CI@`'↓hT ⊗D"pλεα∀PλQ(C`	εαq8λ+⊂_+A
` *↓
0 (A* 'A	P &↓	 (%↓)@ &A	p (↓
⊂()A
@ +↓
p ,@k λ"Qπa EbpλR@DXα∪ Dpα∀EλαT`E αU@E@α⊗ EHα⊗E0α∃U_α∀ Uα∪@Dhα∩`DPα∩`∀("↔↓⊃_∃λ⊂%I _%i _%@I0⊂%@I0_%@i0_&I@⊂&I@_&i@_&@IP⊂&@IP_&@i`⊂'I`⊂'I`_'ip⊂'@Ip⊂'@Ip_'@j⊂(J⊂(J_(j⊂⊂(@J⊂⊂"P`↔␈␈x␈␈`ε∨␈x␈␈←␈x␈␈`↓@%ελT =E#∩P⊂β@e0∧U U α∀`E_↓T`5⊂α∀@5⊂↓T@5λα∀ 5λ↓TE↓S`DP∧∩@t`↓S@$x↓∪`$x↓S`4x↓S`4x↓S`4pα∪@Dp↓S@4p↓S@4p↓S@4p↓S@4x↓∪`5βT d("∨"Q(∃λ↓((B
` +@k_,k_,k_,k_,jp +@jp_+@jp_+@jp_+@k⊂,k⊂_-↓+8+A
` +jP *@jP_*↓
@ *j@_)A
0 )@j  (A	p(%α) 8"Q∂@⊂πJD↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓⊃(@X
GβQh∧@J  'B	P ↓@⊂⊂%A@⊂↓I0⊂α@`0⊂)@P⊂)@`⊂)@p⊂)J⊂_(@J⊂⊂(@J⊂⊂(j_(J⊂(Ip_'@ip⊂'@Ip⊂'i`_'I`⊂'HT ε¬αb0∞C@5@↓⊗%@↓⊗%8↓U`%8↓∃`%8↓∃@50↓∃@%0↓∃@%(↓U 5(↓∃ %(↓∃4`↓↓@4`↓A $h↓A 8S@0_↓↓ 4x↓@ 0_αT`λα∀!¬_α∀`$("β q_¬F`0_&↓)@(&↓)@ &↓	0 %@i0_%@I _%@(T ⊂¬Bp8↓E∀`D ∀X↓∧ ∀X↓∧$X↓∧$XD $P
∩BD("λBAP¬F`0_¬i@(∧↓)@(∧↓)@(∧↓)@ ∧A	@ ∧A	0 ∧A	0_¬i0_¬i0⊂¬@I _¬i0λε(↑x~,F(7≥
⊗04Y."*SJ5"Pi∀0$Q(Nx⊂_mv 4[Lw_1ZVh2H
F(,λ∞GH8→.w⊂4]W⊂⊂≥W@:;aF07[NF00XlV⊂<]←_;|αH3@∩∩;XH@OX≠@OX≠@∞␈␈␈x{⊂=@↓@α∩Hαi8{#∧$↔0¬[/0↓ε@H.`R>`_↓	]@↓8a=@APα-@(ββ({↓#∧$↔0ε∂0βε@H. 4}`8↓	]@↓H=A↓hαHt(β↔_{α#∧$↔0ε>o0¬ε@H.`
∨>`X↓	\@α@#=AA@α∩H¬	X{β#∧$↔0
≡∂0πε@H.`∩n}`x↓	]@α(|=B↓@α∩Xβ/0{∧#∧$↔⊂εd␈0	ε@H.`
Z≡a_↓	]@↓X<⎇BA@α∩Xβ8P{¬#∧$↔0εt?0ε@H.`
q≡a8↓	]@↓Xh⎇C↓@α∩Xβ?{ε#∧$↔⊂παO0
ε@H.`∞%>aX↓	]@↓`w=CA@α∩XβU_{π#∧$↔0π8∂0∂ε@H.`∂>ax↓	]@↓pR=D↓@α∩H¬⊂x{λ#∧$↔0πr/0⊃ε@H.`∀L≡b_↓	]@↓xg⎇DA@α∩X∧ε⊂{	#∧$↔0λ~←0∪ε@H.`⊂\↑b8↓	]@αλw⎇E↓@α∩H∧ `{
#∧$↔⊂λM∨0∃ε@H.`⊃1↑bX↓	]@α_	⎇EA@α∩X∧3p{#∧$↔0	G?0↔ε@H.`⊃V>bx↓	]@α_5=F↓@α∩Hα2X{#∧$↔0∧so0→ε@H.`	y}c_↓	]@↓ _=FA@α∩HαG8{
#∧$↔0¬~O0≠ε@H. 
F>c8↓	\@↓(@=G↓@α∩Xα\_{∞#∧$↔⊂¬F∂0≥ε@H.`⊃q}cX↓	]@α_r=GA@α∩X∧d0{∂#∧$↔0	↓?0∨ε@H.`∪∨>cx↓	]@α ∞=H↓@α∩X∧Ex{⊂#∧$↔0α∃∨0!ε@H. ∧F≡d_↓	\@HB⎇HA@α∩H↓≥0{⊃#∧$↔⊂αI∨0#ε@H. ¬#≡d8↓	\@Pg⎇I↓@α∩X↓2p{∩#∧$↔0αt␈0%ε@H. ¬z↑dX↓	\@`≠⎇IA@α∩H↓K⊂{∪#∧$↔0β≡←0'ε@H.`εh≡dx↓	]@p→⎇J↓@α∩H↓j0{∀#∧$↔0β`∨0)ε@H. π`↑e_↓	]@x{⎇JA@α∩Xα∧ {∃#∧$↔0∧⊂␈0+ε@H.`λ@≡e8↓	]@↓λ9⎇K↓@α∩Xα!`{⊗#∧$↔0∧Q?0-ε@H.`	:≡eX↓	\@α r=KA@α∩X∧k {↔#∧$↔⊂	(∨0/ε@H.`∂P}ex↓	\@α8λ⎇L↓@α∩X∧Yp{_#∧$↔⊂∧?01ε@H. ~↑f_↓	\@i⎇LA@α∩H⊂`{→#∧$↔0.␈03ε@H. m↑f8↓	\@λ}⎇M↓@α∩H&⊂{~#∧$↔0Z∨05ε@H. ↓C↑fX↓	\@_-⎇MA@α∩X<0{≠#∧$↔⊂↓↓←07ε@H. α$≡fx↓	]@ t⎇N↓@α∩HS@{≤#∧$↔⊂↓3←09ε@H. β↑g_↓	]@0≠⎇NA@α∩Hfp{≥#∧$↔⊂↓U←0;ε@H.`βA↑g8↓	]@8*⎇O↓@α∩X|`{≡#∧$↔0αβ?0=ε@H.`∧≡≡gX↓	]@α8↔⎇OA@α∩X∧}H{∨#∧$↔0	qO0?ε@H.`∂V↑gx↓	]@↓x;} ∀m⊂=xow{⎇x